Software verification and validation - an engineering and scientific approach
نویسنده
چکیده
When writing can change your life, when writing can enrich you by offering much money, why don't you try it? Are you still very confused of where getting the ideas? Do you still have no idea with what you are going to write? Now, you will need reading. A good writer is a good reader at once. You can define how you write depending on what books to read. This software verification and validation an engineering and scientific approach can help you to solve the problem. It can be one of the right sources to develop your writing skill.
منابع مشابه
Integrating Verification and Validation Techniques Knowledge into Software Engineering Environments
Accomplishing software verification and validation (V&V) activities is not a simple task. It involves a great number of techniques to choose and there is no sufficient organized information to support the selection regarding the V&V technique to be used. This paper describes an ongoing research work concerned with the definition of an approach to plan verification and validation processes. Its ...
متن کاملEstimating the Required Test Volume and Effort for Software Verification and Validation
This paper introduces an approach to estimating the test volume and related effort required to perform verification and validation activities on software projects. This approach first uses size measures of functional requirements to estimate this volume, and then effort estimation models based on these test volumes. This estimation approach takes into account other types of non-functional requi...
متن کاملEmpirical Studies in End-User Software Engineering and Viewing Scientific Programmers as End-Users - Position Statement -
My work has two relationships with End User Software Engineering. First, as an Empirical Software Engineer, I am interested in meeting with people who do research into techniques for improving end-user software engineering. All of these techniques need to have some type of empirical validation. In many cases this validation is performed by the researcher, but in other cases it is not. Regardles...
متن کاملVerification and Validation of Agent-based Scientific Simulation Models
Most of the existing model verification and validation techniques are largely used in the industrial and system engineering fields. The agent-based modeling approach is different from traditional equation-based modeling approach in many aspects. As the agent-based modeling approach has recently become an attractive and efficient way for modeling large-scale complex systems, there are few formal...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کامل